Functional Pearl: La Tour D’Hanoı̈

Model equations for the Eiffel Tower profile: historical perspective and new results

Model equations for the shape of the Eiffel Tower are investigated. One model purported to be based on Eiffel’s writing does not give a tower with the correct curvature. A second popular model not connected with Eiffel’s writings provides a fair approximation to the tower’s skyline profile of 29 contiguous panels. Reported here is a third model derived from Eiffel’s concern about wind loads on ...

Building Proofs by Analogy via the Curry-Horward Isomorphism

We present a formal method for building proofs by analogy and its implementation as a proof tactic for the NuPRL proof development system. The Curry-Howard Isomorphism is used to represent proof constructions in a term-functional language and to specify analogies by transformation rules on these terms. The method has the advantage to admit complete formalization and to make use of well-known te...

Continued Fractions , Comparison Algorithms , and Fine

There are known algorithms based on continued fractions for comparing fractions and for determining the sign of 2x2 determinants. The analysis of such extremely simple algorithms leads to an incursion into a surprising variety of domains. We take the reader through a light tour of dynamical systems (symbolic dynamics), number theory (continued fractions), special functions (multiple zeta values...

Les technologies de la parole et du TALN pour l'assistance à domicile des personnes âgées : un rapide tour d'horizon (Quick tour of NLP and speech technologies for ambient assisted living) [in French]

Quick tour of NLP and speech technologies for ambient assisted living To address the challenges imposed by an ageing population, developed countries are massively supporting the development Information and Communication Technologies (ICT). ICT represents a great opportunity to improve the daily life of the elderly so that they always keep control over their life and use technology to continue t...

[Eye pathology in the paintings by Georges de la Tour (III). Strabismus: the cheat with ace of diamonds].